﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Pex.Framework;

namespace MicroBenchmarks.Misc
{
    [PexClass]
    [PexMe.Attribute.FieldAccessObserver]
    [PexMe.Attribute.InsufficientObjectFactoryObserver]
    public partial class MiscClassTest
    {
        int size = 0;

        int Size
        {
            get
            {
                return size;
            }
        }

        List<object> items = new List<object>();

        [PexMethod]
        public void Push(object o)
        {
            if (Size > 10)
            {
                throw new Exception("full");
            }
            items.Add(o);
        }
    }
}
